首页> 外文OA文献 >1Optimization of Lyapunov Invariants in Verification of Software Systems

【2h】

1Optimization of Lyapunov Invariants in Verification of Software Systems

机译：Lyapunov不变量在软件系统验证中的优化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mardavij Roozbehani; Re Megretski; Eric Feron Member;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Optimization of Lyapunov Invariants in Verification of Software Systems [J] . Roozbehani M., Megretski A., Feron E. Automatic Control, IEEE Transactions on . 2013,第3期

机译：软件系统验证中Lyapunov不变量的优化
2. Inverse Lyapunov Theorem for Linear Time Invariant Fractional Order Systems [J] . LIANG Shu, LIANG Yinshan 系统科学与复杂性：英文版 . 2019,第006期

机译：线性时不变分数阶系统的逆Lyapunov定理
3. Assignability of Certain Lyapunov Invariants for Linear Discrete-Time Systems ? [J] . Svetlana N. Popova IFAC PapersOnLine . 2018,第32期

机译：某些Lyapunov不变性的线性离散时间系统的可分配性？
4. Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems [C] . Becker Basil, Giese Holger IEEE/ACM International Conference on Automated Software Engineering Workshops . 2008

机译：自适应软件密集型系统运行时演变的归纳不变性增量验证
5. Finite-Time Lyapunov Analysis of Invariant Manifolds in Nonlinear Dynamical Systems [D] . Aykutlug, Erkut 2011

机译：非线性动力系统不变流形的有限时间Lyapunov分析
6. Verified trustworthy software systems [O] . Philippa Gardner -1

机译：经过验证的可信赖软件系统
7. Optimization of lyapunov invariants in verification of software systems [O] . Mardavij Roozbehani, Re Megretski, Eric Feron Member 2013

机译：软件系统验证中Lyapunov不变量的优化

1Optimization of Lyapunov Invariants in Verification of Software Systems

著录项

引文网络

相似文献

相关主题

期刊订阅